(0 13 11)(1 16 3)(2 10 4)(5 17 7)(6 14 9)(8 15 12)
ALLOWS (11/8)-SEQUENCE
1: (8 12 15)
(0 13 11)(1 16 3)(2 10 4)(5 17 7)(6 14 9)(8 12 15)
2: (6 14 9)
(0 13 11)(1 16 3)(2 10 4)(5 17 7)(6)(8 12 15)(9)(14)
3: (8 12 15)
(0 13 11)(1 16 3)(2 10 4)(5 17 7)(6)(8)(9)(12)(14)(15)
4: (0 13 11)
(0)(1 16 3)(2 10 4)(5 17 7)(6)(8)(9)(11)(12)(13)(14)(15)